empty relation,universal relation,empty relation example,void relation,is empty relation transitive